Execution replay and debugging

As most parallel and distributed programs are internally non-deterministic -- consecutive runs with the same input might result in a different program flow -- vanilla cyclic debugging techniques as such are useless. In order to use cyclic debugging tools, we need a tool that records information about an execution so that it can be replayed for debugging. Because recording information interferes with the execution, we must limit the amount of information and keep the processing of the information fast. This paper contains a survey of existing execution replay techniques and tools.Comment: In M. Ducasse (ed), proceedings of the Fourth International Workshop on Automated Debugging (AADebug 2000), August 2000, Munich. cs.SE/001003

Synthèse de nouveaux types de nanocristaux semi-conducteurs pour application en cellules solaires

In order to be cost-effective, photovoltaic energy conversion needs to improve the solar cell efficiencies while decreasing the production costs. Nanocrystal based solar cells could fulfil these requirements through solution-processing, band gap and energy level engineering. PbS nanocrystal thin films already proved their potential for use as solar cell active materials with power conversion efficiencies approaching 7%. However, since lead based compounds are not compatible with European regulations and present high risks for health and environment, semiconductor nanocrystals of alternative materials have to be developed. This thesis focuses on novel types of semiconductor nanocrystals and their application in photovoltaics. The first part of the study deals with the synthesis of size- and shape-controlled CuInSe2 and SnS nanocrystals. An in-depth investigation of the structure of SnS nanocrystals using Mössbauer spectroscopy revealed their high oxidation sensitivity, which limits their usability in optoelectronic devices after air exposure. The second part deals with the thin film preparation and the surface ligand exchange of the obtained nanocrystals. Using a fully inorganic nanocrystal-surface ligand system, the deposited films exhibited a current density improved by four orders of magnitude as compared to the initial ligands. Finally, solar cell devices based on nanocrystal thin films were fabricated, which showed encouraging results with a clear photovoltaic effect when processed under inert atmosphere.Pour que l'énergie photovoltaïque devienne compétitive, les coûts de production doivent être baissés et l'efficacité des cellules augmentée. Les cellules solaires à base de nanocristaux semi-conducteurs constituent une approche prometteuse pour remplir ces objectifs combinant une mise en œuvre par voie liquide avec la possibilité d'ajuster précisément la largeur de bande interdite et les niveaux électroniques. Aujourd'hui, les rendements de conversion des cellules constituées de nanocristaux de sulfure de plomb approchent les 7%. Seulement, à cause des normes européennes destinées à l'affranchissement du plomb du fait de ses risques pour la santé et l'environnement, de nouveaux matériaux doivent être trouvés. Cette thèse concerne la synthèse de nouveaux types de nanocristaux semi-conducteurs et leur application dans des cellules solaires. La synthèse des nanocristaux de CuInSe2 et de SnS de taille et de forme contrôlées a été effectuée, notamment par des voies de synthèses reproductibles dont le passage à grande échelle est facilement possible. Une analyse approfondie de la structure des nanocristaux de SnS par spectroscopie Mössbauer a montré que ces nanocristaux avaient une forte tendance à s'oxyder, ce qui limite leur utilisation dans des dispositifs électroniques après exposition à l'air. La constitution de couches minces continues ayant de bonnes propriétés électriques a été effectuée par le dépôt contrôlé de nanocristaux ainsi que l'échange de leurs ligands de surface. En particulier, un nouveau type de ligand inorganique a été utilisé qui a montré une augmentation de la conductivité des films multiplié par quatre ordres de grandeurs par rapport aux ligands initiaux. Enfin, la préparation de cellules solaires basées sur ces couches minces de nanocristaux a montré des résultats encourageants et notamment un clair effet photovoltaïque lorsque le dépôt est effectué sous atmosphère inerte

Synthèse de nouveaux types de nanocristaux semi-conducteurs pour application en cellules solaires

Pour que l'énergie photovoltaïque devienne compétitive, les coûts de production doivent être baissés et l'efficacité des cellules augmentée. Les cellules solaires à base de nanocristaux semi-conducteurs constituent une approche prometteuse pour remplir ces objectifs combinant une mise en œuvre par voie liquide avec la possibilité d'ajuster précisément la largeur de bande interdite et les niveaux électroniques. Aujourd'hui, les rendements de conversion des cellules constituées de nanocristaux de sulfure de plomb approchent les 7%. Seulement, à cause des normes européennes destinées à l'affranchissement du plomb du fait de ses risques pour la santé et l'environnement, de nouveaux matériaux doivent être trouvés. Cette thèse concerne la synthèse de nouveaux types de nanocristaux semi-conducteurs et leur application dans des cellules solaires. La synthèse des nanocristaux de CuInSe2 et de SnS de taille et de forme contrôlées a été effectuée, notamment par des voies de synthèses reproductibles dont le passage à grande échelle est facilement possible. Une analyse approfondie de la structure des nanocristaux de SnS par spectroscopie Mössbauer a montré que ces nanocristaux avaient une forte tendance à s'oxyder, ce qui limite leur utilisation dans des dispositifs électroniques après exposition à l'air. La constitution de couches minces continues ayant de bonnes propriétés électriques a été effectuée par le dépôt contrôlé de nanocristaux ainsi que l'échange de leurs ligands de surface. En particulier, un nouveau type de ligand inorganique a été utilisé qui a montré une augmentation de la conductivité des films multiplié par quatre ordres de grandeurs par rapport aux ligands initiaux. Enfin, la préparation de cellules solaires basées sur ces couches minces de nanocristaux a montré des résultats encourageants et notamment un clair effet photovoltaïque lorsque le dépôt est effectué sous atmosphère inerte.In order to be cost-effective, photovoltaic energy conversion needs to improve the solar cell efficiencies while decreasing the production costs. Nanocrystal based solar cells could fulfil these requirements through solution-processing, band gap and energy level engineering. PbS nanocrystal thin films already proved their potential for use as solar cell active materials with power conversion efficiencies approaching 7%. However, since lead based compounds are not compatible with European regulations and present high risks for health and environment, semiconductor nanocrystals of alternative materials have to be developed. This thesis focuses on novel types of semiconductor nanocrystals and their application in photovoltaics. The first part of the study deals with the synthesis of size- and shape-controlled CuInSe2 and SnS nanocrystals. An in-depth investigation of the structure of SnS nanocrystals using Mössbauer spectroscopy revealed their high oxidation sensitivity, which limits their usability in optoelectronic devices after air exposure. The second part deals with the thin film preparation and the surface ligand exchange of the obtained nanocrystals. Using a fully inorganic nanocrystal-surface ligand system, the deposited films exhibited a current density improved by four orders of magnitude as compared to the initial ligands. Finally, solar cell devices based on nanocrystal thin films were fabricated, which showed encouraging results with a clear photovoltaic effect when processed under inert atmosphere.SAVOIE-SCD - Bib.électronique (730659901) / SudocGRENOBLE1/INP-Bib.électronique (384210012) / SudocGRENOBLE2/3-Bib.électronique (384219901) / SudocSudocFranceF

Parallel logic programming systems

Projet CHLOEParallelizing logic programming has attracted much interest in the research community, because of the intrinsic or and and parallelisms of logic programs. One research stream aims at transparent exploitation of parallelism in existing logic programming languages such as Prolog while the family of concurrent logic languages develops constructs allowing programmers to express the concurrency, that is the communication and synchronization between parallel process, inside their algorithms. This paper mainly concentrates on transparent exploitation of parallelism and surveys the most mature solutions to the problems to be solved in order to obtain efficient implementations. These solutions have been implemented and the most efficient parallel logic programming systems reach effective speedups over state-of-the-art sequential Prolog implementations. The paper also addresses current and prospective research issues aiming to extend the applicability and the efficiency of existing systems,such as models merging the transparent parallelism and the concurrent logic languages approaches, combination of constraint logic programming with parallelism and use of highly parallel architectures

Efficient Execution Replay for ATHAPASCAN-0 Parallel Programs

ATHAPASCAN-0 programs are executed by a network of communicating threads evolving dynamically. Within the same node, threads communicate through shared memory and synchronization primitives. Between two different nodes, threads communicate by message passing. Execution replay of ATHAPASCAN-0 programs addresses the non-determinism arising from synchronization races, from promiscuous messages received from non specified source and from the varying number of operations testing the completion of non blocking ATHAPASCAN-0 primitives. The execution replay mechanism is mainly control-base- d since, in addition to recording the results of test operations, only the order of accesses to synchronization functions and the order of arrival of promiscuous messages need to be recorded. The efficiency of the recording comes from the use of Lamport clocks to reduce drastically the number of records associated to synchronization operations and from the reduction to a single record of the information necessary to reproduce a series of unsuccessful tests

Simulation of MPI applications with time-independent traces

International audienceAnalyzing and understanding the performance behavior of parallel applications on parallel computing platforms is a long-standing concern in the High Performance Computing community. When the targeted platforms are not available , simulation is a reasonable approach to obtain objective performance indicators and explore various hypothetical scenarios. In the context of applications implemented with the Message Passing Interface, two simulation methods have been proposed, on-line simulation and off-line simulation, both with their own drawbacks and advantages. In this work we present an off-line simulation framework, i.e., one that simulates the execution of an application based on event traces obtained from an actual execution. The main novelty of this work, when compared to previously proposed off-line simulators, is that traces that drive the simulation can be acquired on large, distributed, heterogeneous , and non-dedicated platforms. As a result the scalability of trace acquisition is increased, which is achieved by enforcing that traces contain no time-related information. Moreover, our framework is based on an state-of-the-art scalable, fast, and validated simulation kernel. We introduce the notion of performing off-line simulation from time-independent traces, propose and evaluate several trace acquisition strategies, describe our simulation framework, and assess its quality in terms of trace acquisition scalability, simulation accuracy, and simulation time

A geological collection and methodology for tracing the provenance of Palaeolithic colouring materials

Although prehistoric sites frequently contain numerous fragments and traces of many different kinds of colouring matter, intensive study of this type of archaeological remains began only recently. Such studies, aimed at determining how raw materials formed and changed over time, and how they were transported by the groups of humans who used them, are extremely valuable as they reveal shared strategies, that is, cultural traditions and the spaces in which they developed. The scope of this paper focusses on the description of the main geological contexts in which ferruginous colouring materials form and are found. In the framework of a collective research program called Pigmentothèque (iron- and manganese-rich rocks and minerals library), geological surveys are conducted taking into consideration the geological settings in which colouring materials are present and using a common record and sampling methodology which is followed by petrophysical, mineralogical and chemical analyses based on a shared procedure and vocabulary. In order to go beyond descriptions based solely on colour and chemical composition, we describe the great variety of iron-rich materials that can be used to obtain colouring matter. This diversity in the formation and evolution of iron-rich materials must be taken into account when trying to understand past humans’ choices of raw materials, their provenance and the anthropogenic and natural modifications they have undergone. We also describe criteria for recognising cohesive remains of colouring matter during archaeological excavations, so these artefacts can take their place alongside other mineral resources in helping improve our understanding of past societies

High-level characteristics of or-and independent and-parallelism in prolog

Although studies of a number of parallel implementations of logic programming languages are now available, their results are difficult to interpret due to the multiplicity of factors involved, the effect of each of which is difficult to sepárate. In this paper we present the results of a high-level simulation study of or- and independent and-parallelism with a wide selection of Prolog programs that aims to determine the intrinsic amount of parallelism, independently of implementation factors, thus facilitating this separation. We expect this study will be instrumental in better understanding and comparing results from actual implementations, as shown by some examples provided in the paper. In addition, the paper examines some of the issues and tradeoffs associated with the combination of and- and or-parallelism and proposes reasonable solutions based on the simulation data obtained

Implementation et evaluation d'un systeme logique parallele

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Synthesis of new type of semiconductors nanocrystals for third generation photovoltaics

Pour que l'énergie photovoltaïque devienne compétitive, les coûts de production doivent être baissés et l'efficacité des cellules augmentée. Les cellules solaires à base de nanocristaux semi-conducteurs constituent une approche prometteuse pour remplir ces objectifs combinant une mise en œuvre par voie liquide avec la possibilité d'ajuster précisément la largeur de bande interdite et les niveaux électroniques. Aujourd'hui, les rendements de conversion des cellules constituées de nanocristaux de sulfure de plomb approchent les 7%. Seulement, à cause des normes européennes destinées à l'affranchissement du plomb du fait de ses risques pour la santé et l'environnement, de nouveaux matériaux doivent être trouvés. Cette thèse concerne la synthèse de nouveaux types de nanocristaux semi-conducteurs et leur application dans des cellules solaires. La synthèse des nanocristaux de CuInSe2 et de SnS de taille et de forme contrôlées a été effectuée, notamment par des voies de synthèses reproductibles dont le passage à grande échelle est facilement possible. Une analyse approfondie de la structure des nanocristaux de SnS par spectroscopie Mössbauer a montré que ces nanocristaux avaient une forte tendance à s'oxyder, ce qui limite leur utilisation dans des dispositifs électroniques après exposition à l'air. La constitution de couches minces continues ayant de bonnes propriétés électriques a été effectuée par le dépôt contrôlé de nanocristaux ainsi que l'échange de leurs ligands de surface. En particulier, un nouveau type de ligand inorganique a été utilisé qui a montré une augmentation de la conductivité des films multiplié par quatre ordres de grandeurs par rapport aux ligands initiaux. Enfin, la préparation de cellules solaires basées sur ces couches minces de nanocristaux a montré des résultats encourageants et notamment un clair effet photovoltaïque lorsque le dépôt est effectué sous atmosphère inerte.In order to be cost-effective, photovoltaic energy conversion needs to improve the solar cell efficiencies while decreasing the production costs. Nanocrystal based solar cells could fulfil these requirements through solution-processing, band gap and energy level engineering. PbS nanocrystal thin films already proved their potential for use as solar cell active materials with power conversion efficiencies approaching 7%. However, since lead based compounds are not compatible with European regulations and present high risks for health and environment, semiconductor nanocrystals of alternative materials have to be developed. This thesis focuses on novel types of semiconductor nanocrystals and their application in photovoltaics. The first part of the study deals with the synthesis of size- and shape-controlled CuInSe2 and SnS nanocrystals. An in-depth investigation of the structure of SnS nanocrystals using Mössbauer spectroscopy revealed their high oxidation sensitivity, which limits their usability in optoelectronic devices after air exposure. The second part deals with the thin film preparation and the surface ligand exchange of the obtained nanocrystals. Using a fully inorganic nanocrystal-surface ligand system, the deposited films exhibited a current density improved by four orders of magnitude as compared to the initial ligands. Finally, solar cell devices based on nanocrystal thin films were fabricated, which showed encouraging results with a clear photovoltaic effect when processed under inert atmosphere